/*
 * Boolean.h
 *
 *  Created on: May 2, 2012
 *      Author: lorenzo
 */

#ifndef BOOLEAN_H_
#define BOOLEAN_H_

#include "Formula.h"

class Formula;

class Literal {
public:
	Literal(unsigned int index, bool negation, Formula * formula);
	virtual ~Literal();

	bool evaluate();
	unsigned int getIndex();
	bool isNegated();
	//void setValue(bool newValue);

private:
	unsigned int index;
	bool negation;
	Formula * formula;
};

#endif /* BOOLEAN_H_ */
